let tell w = Writer ((), w)
